Semenov A. M., Nesterenko A. Yu. «Methodology for assessing the security of cryptographic protocols» // Applied Discrete Mathematics 2022. №56 C.33-82
Smyshlyaev Stanislav V., Alekseev Evgeniy K., Kyazhin Sergey N. «Forcing future public ephemeral keys to attack authenticated key establishment protocols» // Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 2024. №66 C.60-77
Lazareva E. V., Nesterenko A. Yu., Grebnev S. V., Lebedev P. A., Semenov A.M. «Implantation of russian key agreement protocols into» // Applied Discrete Mathematics. Supplement 2018. №11 C.62-65
Cheremushkin A. V. «Cryptographic protocols» // 2009. №2 C.115-150
